Institute for Logic, Language and Computation - PDFSEARCH.IO - Document Search Engine

Institute for Logic, Language and Computation
Results: 60

#	Item
51	Quantiers in TIME and SPACE Computational Complexity of Generalized Quantiers in Natural Language Jakub Szymanik Add to Reading List Source URL: www.jakubszymanik.com Language: English - Date: 2011-03-21 08:58:36 Science Mathematical logic Institute for Logic Language and Computation Computational complexity theory Complexity Algorithm Descriptive complexity theory EXPTIME P Applied mathematics Complexity classes Mathematics
52	Using intrinsic complexity of turn-taking games to predict participants’ reaction times Jakub Szymanik ([removed]) Institute for Logic, Language and Computation, University of Amsterdam Ben Meijering (b Add to Reading List Source URL: jakubszymanik.com Language: English - Date: 2013-07-19 07:51:46 Mathematics Backward induction Solution concept Reason Extensive-form game Minimax Inductive reasoning Marble Cognitive science Game theory Science Knowledge
53	Automata and Complexity in Multiple-Quantifier Sentence Verification Jakub Szymanik ([removed]) Institute for Logic, Language and Computation, University of Amsterdam Shane Steinert-Threlkeld (Shanest@stanford. Add to Reading List Source URL: jakubszymanik.com Language: English - Date: 2013-05-20 06:27:06 Science Automata theory Quantification Models of computation Formal languages Generalized quantifier Pushdown automaton Cognitive science Finite-state machine Logic Mathematical logic Semantics
54	Monotonicity has only a relative effect on the complexity of quantifier verification Jakub Szymanik∗ and Marcin Zajenkowski† 1 Institute for Logic, Language and Computation Add to Reading List Source URL: jakubszymanik.com Language: English - Date: 2013-11-29 06:14:30 Quantification Predicate logic Semantics Finite model theory Philosophical logic Generalized quantifier FO Sentence Model theory Logic Mathematical logic Theoretical computer science
55	1 Entry for International Directory of Logicians, 2008 VAN BENTHEM, Johannes Franciscus Abraham Karel Specialties: Modal logic, epistemic logic, dynamic logic, logics of time and space, semantics of natural language: gen Add to Reading List Source URL: staff.science.uva.nl Language: English - Date: 2009-01-30 07:12:28 Philosophy Game theory Philosophy of mathematics Mathematical logic Johan van Benthem Modal logic Game semantics Institute for Logic Language and Computation Epistemic modal logic Logic Philosophical logic Mathematics
56	From Number Guessing Games to Security Protocol Analysis Add to Reading List Source URL: homepages.cwi.nl Language: English - Date: 2013-12-17 06:53:10 Mathematical logic Computer network security Secure communication Astronomers Christiaan Huygens Kripke semantics Institute for Logic Language and Computation Huygens Computer security Logic Science Mathematics
57	Curriculum vitae of Jan van Eijck Name Jan van Eijck, initials D.J.N. (Dingeman Johannes Norbertus), born 6 September 1951 in The Netherlands. Nationality: Dutch Add to Reading List Source URL: homepages.cwi.nl Language: English - Date: 2010-12-12 15:15:35 Semantics Game theory Computational semantics Natural language processing Johan van Benthem Institute for Logic Language and Computation Social software Maarten de Rijke University of Groningen Science Academia Logic
58	LAWRENCE S. MOSS Department of Mathematics Indiana University Add to Reading List Source URL: www.indiana.edu Language: English - Date: 2013-09-30 17:07:20 Science Academic conferences Abstraction Axiology Institute for Logic Language and Computation Modal logic Mathematical logic F-coalgebra European Summer School in Logic Language and Information Logic Philosophical logic Academia
59	GROUP THEORETIC DESCRIPTION OF JUST INTONATION Aline Honingh Institute for Logic, Language and Computation Add to Reading List Source URL: www.soi.city.ac.uk Language: English - Date: 2003-12-18 08:23:26 Intervals Musical scales Harmony Musical tuning Greek music Just intonation Diatonic and chromatic Pitch class Limit Music Pitch Sound
60	Elaborating Intersection and Union Types Joshua Dunfield Max Planck Institute for Software Systems Add to Reading List Source URL: www.cs.cmu.edu Language: English - Date: 2012-06-25 20:34:16 Logic in computer science Type theory Lambda calculus Proof theory Combinatory logic Models of computation Standard ML Curry–Howard correspondence Type system Theoretical computer science Mathematics Programming language theory